從 C風格的陣列 到 std::array 代表了朝向 類型安全 以及 泛型程式設計 在現代C++中的根本性轉變。
1. 指標衰減問題
舊式陣列（int arr[N]）會遭遇「指標衰減」問題。當傳遞給函數時，它們會失去其大小的元資料，並轉換為原始指標（int*）。這會導致不安全的指標運算與緩衝區溢位。
2. C++11 的現代化
std::array 提供一個輕量級、 零開銷封裝 包裝原始陣列。它能與STL（標準模板庫）整合，同時遵守 五大規則。
3. 使用 std::forward 的完美轉發
C++11 引入了 std::forward 以確保 std::array 物件能透過模板封裝移動而無需重複複製。透過利用 引用收斂規則，我們能保留物件的值类别（左值對右值）。
$$T\&\& + \& \rightarrow T\&$$
main.py
TERMINALbash — 80x24
> Ready. Click "Run" to execute.
>
QUESTION 1
What is the primary risk of 'pointer decay' in C-style arrays?
The array elements are deleted from memory.
The array loses its size and type metadata upon function entry.
The array is automatically moved to the heap.
The compiler adds padding to the array.
✅ Correct!
Decay converts an array to a pointer, meaning the function no longer knows the original size of the data block.❌ Incorrect
C-style arrays do not change location; they simply lose their identity as a fixed-size container.QUESTION 2
Which header must be included to use
std::array?✅ Correct!
The <array> header defines the template class for fixed-size sequences.❌ Incorrect
Check your includes; std::array is distinct from the dynamic std::vector.QUESTION 3
What is the purpose of
std::forward when used with std::array?To sort the array in ascending order.
To preserve the value category (lvalue/rvalue) when passing it through templates.
To convert the array into a pointer.
To dynamically resize the array at runtime.
✅ Correct!
Perfect forwarding allows generic code to handle arrays efficiently without unnecessary copies or losing move semantics.❌ Incorrect
std::forward is about value-category preservation, not sorting or resizing.QUESTION 4
How does
std::array differ from std::vector regarding memory?std::array is stored on the heap; std::vector on the stack.std::array size is fixed at compile-time; std::vector can grow at runtime.std::array has higher overhead than std::vector.std::array uses pointers; std::vector does not.✅ Correct!
std::array is stack-allocated with a fixed size, making it faster and more deterministic.❌ Incorrect
std::vector is the one that manages dynamic heap memory.QUESTION 5
According to Reference Collapsing, what is the result of
T&& + &?T&&T&Compiler Error
T*✅ Correct!
When an rvalue reference meets an lvalue reference, it collapses to an lvalue reference.❌ Incorrect
In C++, lvalue references are 'greedy' during collapsing.Case Study: Graphics Engine Optimization
Modernizing Vertex Management
A legacy engine passes vertex data as `float* points, int size`. You are tasked with refactoring this to use C++11 `std::array` and a template-based factory that uses perfect forwarding to minimize latency.
Q
Why is `std::array<float, 3>` safer than `float*` for a 3D coordinate?
Solution:
It encapsulates the size in the type signature, preventing out-of-bounds access and ensuring the function receives exactly 3 coordinates without needing a separate size parameter.
It encapsulates the size in the type signature, preventing out-of-bounds access and ensuring the function receives exactly 3 coordinates without needing a separate size parameter.
Q
How does `std::forward` benefit a factory function creating these arrays?
Solution:
It allows the factory to move temporary arrays (rvalues) into storage rather than copying them, which is critical for performance in high-frequency graphics loops.
It allows the factory to move temporary arrays (rvalues) into storage rather than copying them, which is critical for performance in high-frequency graphics loops.
Q
If you pass a named `std::array` into `relay(T&& arr)`, what does `T` resolve to?
Solution:
It resolves to an lvalue reference (T&) due to reference collapsing rules, because named variables are lvalues.
It resolves to an lvalue reference (T&) due to reference collapsing rules, because named variables are lvalues.